Dependently typed programming - PDFSEARCH.IO - Document Search Engine

Dependently typed programming
Results: 102

#	Item
71	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
72	Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-09-09 13:38:19 Logic in computer science Formal sciences Dependently typed programming Type theory Robert Lee Constable Logic programming Mathematical logic Orc Curry–Howard correspondence Mathematics Theoretical computer science Logic
73	Set Partitions in R Robin K. S. Hankin Luke J. West Auckland University of Technology National Oceanography Centre, Southampton Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:58:21 Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Ordinal number Partition of a set Ordinal arithmetic Orbifold Mathematics Mathematical logic Curry–Howard correspondence
74	Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-08-20 07:43:28 Logic in computer science Lambda calculus Proof theory Dependently typed programming Type theory Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Logic Mathematics
75	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
76	Jason Reed Phone: ([removed]Email: [removed] Web: http://jcreed.org/ Education Add to Reading List Source URL: jcreed.org Language: English - Date: 2013-01-05 19:00:47 Logic in computer science Automated theorem proving Type theory Dependently typed programming Logical framework Frank Pfenning Modal logic Twelf Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical logic Mathematics
77	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: personal.cis.strath.ac.uk Language: English - Date: 2013-06-15 06:02:53 Functional languages Procedural programming languages Functional programming Higher-order functions Type theory Standard ML Agda Type class Map Software engineering Computing Computer programming
78	Research Statement Jason Reed Research Agenda Motivations Mathematics succeeds when it builds bridges: a result connecting one approach (or one entire field Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:18:21 Non-classical logic Logic in computer science Type theory Dependently typed programming Automated theorem proving Logical framework Frank Pfenning Natural deduction Intuitionistic logic Logic Mathematical logic Mathematics
79	Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-06-03 09:06:46 Logic in computer science Automated theorem proving Dependently typed programming Type theory Formal sciences Federated Logic Conference Logic programming Workshop on Logic Language Information and Computation Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Mathematics
80	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science

UPDATE